Temporal theory - PDFSEARCH.IO - Document Search Engine

Temporal theory
Results: 595

#	Item
51	Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗ Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2014-08-13 21:30:28 Logic Temporal logic Philosophical logic Mathematical logic Abstraction Linear temporal logic Logic in computer science Supervisory control theory Non-classical logic CTL* Modal logic Quantifier
52	Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:33:41 Mathematical analysis Mathematics Operator theory Computability theory Approximation theory Fourier analysis Modulus of continuity Primitive recursive function Linear temporal logic Differential forms on a Riemann surface
53	Title: “A qualitative feedback theory for multiscale spatio-temporal Behaviors.” Dr. Alessio Franci Departamento de Matemáticas, Facultad de Ciencias, UNAM. Abstract: Background. Biology exhibits an enormous variety Add to Reading List Source URL: www.ifuap.buap.mx Language: English - Date: 2016-04-14 11:30:24
54	Learning commutativity specifications a ct * Consi se Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-29 09:22:24 Logic Model theory Mathematical logic Metalogic First-order logic Constructible universe Type NIP Structure Confidence interval Well-formed formula Linear temporal logic
55	Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-05-18 19:37:50 Logic Mathematical logic Model theory Mathematics Formal languages Linear temporal logic Temporal logic Symbol Substitution Interpretation Structure Constructible universe
56	Logic for Automated Mechanism Design — A Progress Report Michael Wooldridge∗ Thomas Agotnes† ∗ Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-21 09:47:36 Game theory Artificial intelligence Formal epistemology Modal logic Logic in computer science Common knowledge Epistemic modal logic Intelligent agent Alternating-time Temporal Logic Temporal logic Social software Mechanism design
57	Accelerated Online Low-Rank Tensor Learning for Multivariate Spatio-Temporal Streams Rose Yu Dehua Cheng Yan Liu Department of Computer Science, University of Southern California Add to Reading List Source URL: jmlr.org Language: English - Date: 2015-09-16 19:38:50 Algebra Linear algebra Mathematics Multilinear algebra Multivariate statistics Matrix theory Tensors Higher-order singular value decomposition Singular value decomposition Rank Kronecker product Matrix
58	LNAIStrongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures Add to Reading List Source URL: folk.uib.no Language: English - Date: 2006-10-10 15:15:42 Model theory Interpretation Substitution Compactness theorem Linear temporal logic Differential forms on a Riemann surface
59	Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3 Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-31 07:08:31 Logic Mathematical logic Philosophy Model theory Formal languages Logical truth Propositional calculus Linear temporal logic Temporal logic Interpretation Substitution operator
60	Fingerprinting temporal networks of close-range human proximity Andr´e Panisson∗ , Laetitia Gauvin∗ , Alain Barrat†‡∗ , Ciro Cattuto∗ ∗ Data Science Laboratory, ISI Foundation, Torino, Italy Add to Reading List Source URL: www.cpt.univ-mrs.fr Language: English - Date: 2013-04-02 12:49:49 Network theory Time-varying network Wireless sensor network Hub

UPDATE